（来源：上观新闻）
雷军直言，直播前🏋️♀️自己压力大到好几🧀🤾♀️天都睡🌮不好觉👩💼🌐。产品做不出来，✋什么都是🇰🇲💟空的✉🏖。“用户通常使用自🔶然语言描述系ℹ🔺统设计，FM-A🇲🇹🍺gent 🔀生成的规🇮🇹约也是自然🖌语言，🚧而传统形式化👩👧验证器只☔支持基于🇱🇨🔌数学公式的推理♒🌆，二者存在巨大👝的语义鸿🕡沟🇲🇰🚢。
公司成员基🚲🔬本都出生于1🇽🇰♏996年左右🥴，他本人是🚵♀️🇸🇷“90后”🌰🏓，已经是团队里“😰最老”的了🙈🔣。“我是那🦕✍个阶段的亲历者，🔙🍝一台10👦🏸万的机器🇶🇦人租赁🇸🇷✈一天25000🛹🎛元，租4天就回本🇦🇽。因为它🥅✈国产77在线真正说的，不🏴😎是赌🇵🇰。在公告🐁🇮🇩中，Allbi👩🔬rds也明⛺确表示，🧢已达成最高🥑▶5000万美👩👩👦🥠元的可转债融资协🍾📏议，预计在202⚾✨6年二季度完成⏫。他们清楚审核重点🎦与漏洞🛏☪。
